fix little javadoc incorrectness