Symbolic names in race pairs
Polishing messages and fixing tags