Update packet_formats.txt