Fixing bug in previous commit.
Implementation of a simple machine testcase.