Fixed bug in the way internal states were asserted