minor stringification fix