That's weird. I just pushed that change ages ago :/