made small change to protocol

allowing for arbitrary length player index, vs just single digit index
(to allow for player #10).