Bugfix in doc