minor corrections of w6-da lecture and a bug in test