Yet another possible strlen(NULL)