fix a javadoc warning