Reformat paper

Changes from K-REx applied to fit their requests.