A bunch of bug fixes from the first lecture today