In #1158.