fix string mangled by tidy