Correct spacing in dns_launch_correctness_checks()