Mostly Formatting. Nitpick with Proof-of-stake.

Pull as promised.