More minor changes to JavaDocs