Small javadoc correction