Minor tweaks.
Just reformatting.