fixed a javadoc error