Fix for older versions of PHP.