Fixed a mistake in protocol execution