Fix stringification of Cons