Fixes #4017: relax the check for root server unicity