Fix a few incorrect javadoc comments