Did a few minor revisions