Fix another javadoc warning