Bugfix in javadoc