Fix to deserialization of push dumps.