Minor fix (forgotten error that prevented compilation)