small edits to the appendices