Small fixes to Javadoc