>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> Really a tiny insignificant detail that just happened to catch my Joel> attention. Fixed thusly. Thanks. I still haven't internalized that rule. Tom