A little formatting and comments

and I think we are done.