Fix some Javadoc