Fix use of display().to_str in find_tests