fix typos in javadoc

This is silly, yet correct, pull request to test github workflow.