Fixed in #3814879