minor formatting and editorial edits to known issues