doc: chars after ; should be ignored
doc: rename production rule
doc: fix typo
doc: add missing fact