fix bug related to unnamed transitions