ProtocolInfo.toString() throws an NPE for unknown protocols, fixes #28