Javadoc tweak