Fixed in #3335