Bugfix in docs