Fix const char* argument printing