another improvement to stringification to see why it fails