Some typos and suggestions from Paul M. implemented