Small edits and format fixes.