Fixed bug in initial transition relation