Fixed some trivial markdown formatting in Protocol.md