tiny modification const char *