Minor Javadoc corrections