Fixing a javadoc