more efficient stringification