caught a typo in section 7

space complexities in 7.10 where missing a factor e^n, comparing with
propositions 7.7 and 7.8