Minor changes to monad.tex.