minor issue in javadoc comment