Fix a typo in javadoc