Bugfix in manual