See #6437184175638