Fixed in #3998