Fix some Javadoc mistakes