David fixes a bug in packet_inspector