Small javadoc modification