Minor typos in javadoc comments