Fixed in #750