Tweak to Javadoc