Several minor changes to subtitles in the monad/interactive series of lectures.