On second thought, I think it's safer to leave it here. @mluessi put a check for vertex ordering as the first thing in `Label` (which caused this error) instead of doing the reordering, I think it's probably to save users from making an error. I think it's reasonable to "fix" files that are read from disk, though. WDYT?