minor updates and clean up in lecture 10