Small fixes/additions since the course meetings ended.