fixes incorrectly labeled transitions