Bug fix on transition reaching a state contained in the source state