Small Javadoc update