Fixed in #2462