Fixed in #888