Fix typo in manual

Also removes redundant newline in code block.