make sure it works in PHP <5.4