Just some formatting and minor edits