fixed more bugs on the Racetrack domain