More string cleanup...  That file was particularly dirty because of the
double-whammy of first being converted from C++ to Python with my
script, then being converted from Python2 to Python3 by 2to3 ...