Question about #6017