a few edits to section 9 of unit13