Standardized spacing in protocol.hpp.