Fix a slight javadoc issue.