manual.py bugfix