Small fix for tracking processed packets in rcvPkt()