remove a bug when reading a transition x x rather than 2*x