Compatibility fix for PHP v5.2.x