bugfix in manager.py