During Dan's Git lecture, added some final keywords where they should have been anyway