Adjust a couple of slides to use overlay; remove some \dots