a bug in LabelWriter