mostly cosmetic updates to label_crossings