Fix typos in Tracker preconditions