Just some tiny javadoc fixes