fixed a few typos in monad talk