gt parser implementation differs from format specification

The parser expects the name of a property list between the list type (graph, vertex, edge) and the value type ( https://git.skewed.de/count0/graph-tool/blob/master/src/graph/graph_io_binary.hh#L426 ) [Note: I am a little confused about the meaning of the next line. Does that test if the length of the name is 0?]

The specification defines a different order (list type, value type, name) in the following two sentences:

Each property map begins with a key type (1 byte, uint8_t) specifying whether it is a graph (0x00), a vertex (0x01) or an edge (0x02) property map, and another byte (uint8_t) specifying the value type index, from the following table: ...snip... The value type is followed by a string (8 byte length + length bytes) containing the name of the property map.