Fix Javadoc warning.