Compatibility fix for PHP <5.5