fixed original region name not showing up in automaton export.

Now an automaton can be exported with original name shown: 
![patrol](https://cloud.githubusercontent.com/assets/734271/3204194/ae82adda-eda5-11e3-801a-0b3c3c89ed30.png)