fix formatting of reserved names
Merge pull request #719 from jrnold/doc-fix-formatting-reserved-names

fix formatting of reserved names