Update javadoc to cohere with the previous commit