transition labels on dot files