Some javadoc fixes