Small javadoc update