Fix cons String() bug