Tweak to improve PHP version compatibility.