cope with label widths becoming too wide due to NSAttributedString bug #49