Fixed in #5083