This was fixed after a week or so, promptly in my opinion. The first patch was a temp, followed a few days later by a full, fill in the hole patch. 2 months later it looks fine still. Well done.