Fixed in #253.