Properly output protocols.