Fix bug in stringification