edit lecture: some correction to lecture 13