fix for incorrectly determined emulator