Minor Javadoc updates