Small changes to Javadoc