Fixing bugs with escape chars in printing String literals