Remove space before `;;` in format directive.

The space should not be there and was added in oversight. This also provides forwards compatibility with https://github.com/coq/coq/pull/10832.

See also the discussion here: !335 (comment 41586)