Small fix in emulator