minor edits for formatting.