Fix some Javadoc derps