Yep, I made the change locally. The fix is in the next push.