Mostly Formatting. Nitpick with Proof-of-stake.