Minor Javadoc improvements