Fix for printing non-const char*