Fix up the formatting

This writeup needs to be streamlined a good bit.