Fix test for Moore!1771
Just a small change to fix a failing test when testing Moore!1771 (merged)
Goes with Moore!1771 (merged) and related
Just a small change to fix a failing test when testing Moore!1771 (merged)
Goes with Moore!1771 (merged) and related