EOF / NL confusions

The following is valid µOCCAM. This program is valid, but there is an EOF immediately after stdout ! b without a newline which might confuse the parser.

Program file: /public/cs3/web/ipptests-phase-1/no-newline.accept

PAR
  INT a.b:
  b := b + 1
  stdout ! b