Fix bug when printing non-null string default

We treated dest as a char* when it's really a char**