Fixed in d0f5263.