Correct a javadoc