Minor Javadoc fixes