a few more edits to the supplement