few small edits and formatting