Bad Hotel was fixed on 64bit systems.