another fix for php <5.3