Fixed in 9c52f61ae3479008e3ab588b0c2a182923269e03. That was a tricky one; thanks for noticing.