Update ofp_v4_encode.erl