fix for simpleWhileTest