a few notation edits to unit13