I just merged it, if you want to quickly patch the patch I'm all for it.