Tweaks to JavaDocs