puzzlers: convert char [] to a String