Fix an error with javadoc