javadoc cleanup (minor)