Minor fix in driver invocation