Fixed in #1519