Ah, OK. Fixed in 5738d06.