small javadoc error