Bugfix in Documentation