minor change; trying to chase a best OF bug; nothing found; seems to work