Fixing typo in KIFUITestActor