Fixed issue #4.  Imposed stricter checking in Thread#step() method.