Fix for PHP under 5.5