Fix an off-by-one error

It only shows up when there are no spaces after the end of a
statement.  For example, bullets.  It only shows up when coqtop
supports -time.

Thanks to jonikelee@comcast.net for finding this bug.
See https://coq.inria.fr/bugs/show_bug.cgi?id=3381.