trivial Javadoc typos