cf. #191 we should have a flag to turn off the number alignment, since we may not always want that happening (and it seems brittle)
