WHAT: Minor fixes to Javadoc