json: strcmp() can't deal with null pointers.