Lecture 13 fixups