Properly format test cases names in --trace headers