fix little javadoc issue