Compatibility with PHP < 5.5