fixed bug when removing states: transition labels stay