Minor correction to protocol annotation.