Fix a little typo in ikaprotocol