Minor fix in the error reporting