Fix javadoc, again