Fix PHP compat issue