More minor formatting changes

Changed the name of a protocol and restructured the little test I
prepared