Remove dot from summary used by fixDoubleRedirects.php