fix for older versions of PHP