Compatibility with old versions of PHP