Fix for older versions of PHP