correct EXPECTF