Yeah, but I fixed it in 36f4c92517 :-)