fixed a problem with a javadoc