Fix a typo in javadoc.