Fix for PHP <5.4.