Does it matter if the Doctor is called Dr. Who?