and another stringification fix