Fixed in #4787