fix the "definition" of a Banach space