lab3
Minor lab3 updates
Merge remote-tracking branch 'mit/lab3'