Another correction following #3384