Minor fix: missing import