Javadoc corrections