Fix for slightly older versions of PHP.