Update packet_specification.txt