typo in manual.py