Nitpicky formatting stuff.

A whole lot of nitpicky formatting stuff.