Protocol is now part of the mignis syntax. Lists of protocols are allowed.