Bug hunting in labelling and pretty-printing