You're right; force-pushed update with that fix.