The size of the dive header is one byte smaller: 0x32 instead of 0x33 bytes. Because we were expecting a larger packet, this bug caused the downloading of the dive headers to fail. I'm surprised no one noticed this mistake before.