Small but important fix about TLA.

Now it is more robust.
Merge branch 'master' of https://github.com/jvanbrug/cs143sim