fix typo in 7.2

This pull request fixed a typo in section 7.2. Actually I found this when I tried to reference the text for the definition of real analytic. I think it would be better if the text gives the definition.