Fix the following warning:
doc/syntax.texi:147: warning: Accent command `@"' must not be followed by whitespace