Small error correction in protocol_std.c