minor changes in Functional Analysis