fix quotes in code block in manual