Some changes made at lecture