Fix an error in packet_locl.h