Fix a Javadoc error.