Fix a couple of mistakes in the slides