Some Javadoc fixes