fixed some bugs on the Racetrack domain