Fix error in english protocol description

The error was pointed out to me by @franziskas when we played mia at SoCraTes 2013.