Some small fixes to make floorEmulator.py work correctly