PR fixup: rename false to always_false