Fix a typo in a Javadoc comment