Fix a mistake in code on slide