[Patch v3 4/4] doc: cosmetic fix for prerst2man.py