bug reported to AdaCore
code spacing fixed