Add a couple of slides; simplify some of the "\onslide" codes