PHP compat fix