Cleaned up, edited, fixed typos, etc.