Tiny errors in comments in the code given