Fixed small typos in 7.7 and 7.8
Fix statement of cotangent expansion theorem