made error message non-redundant