adjust InstSeq.__repr__