fix javadoc bug