Fixed in #570.