Fixed in #5056