Fix for PHP < 5.6