Minor Javadoc additions