Tweaks to Javadoc