Mostly Formatting. Nitpick with Proof-of-stake.

Pull as I promised.