No, I am not correct ;) According to RFC3696: "There is an additional rule that essentially requires that top-level domain names not be all-numeric."

So empty() on domainnames is okay.