Minor change in the javadoc.

For unknown reasons, javadoc crashed before.