Fixed in #7915.