fix a javadoc error