Fix syntax error
Rebuild Texinfo manual