Note on syntax for manuals