Remove an unnecessary "%" character that seems to cause a minor glitch
with the latest latex2html.
1 file changed