Tweak for PHP compat