Some fixes on lecture 6 and starting lecture 7