minor edits; Lec5 skeleton