A few fixes to Javadoc