Fix small javadoc warning