Fixed a few numeric issues in Protocol.h