Quick fix in the javadoc