Fix a javadoc warning