Joel Brobecker <brobecker@adacore.com> writes: > I like this small improvement. Would you mind applying it? Joel, I've pushed it in. -- Yao (齐尧)