Fixed in 878ffee  (hopefully)