diff --git a/_sources/configs/robots.php b/_sources/configs/robots.php
index dc0a9134..e6c63b02 100644
--- a/_sources/configs/robots.php
+++ b/_sources/configs/robots.php
@@ -5,7 +5,7 @@
 ini_set( 'display_errors', 0 );
 error_reporting( 0 );
 
-echo "# It generated by the robots.php file\n"; 
+echo "# It generated by the robots.php file\n";
 
 header( 'Content-Type: text/plain' );
 
@@ -24,7 +24,7 @@
 
 	$siteMapUrl = "$server$script/sitemap$subdir/sitemap-index-$identifier.xml";
 
-	echo "Sitemap: $siteMapUrl";
+	echo "Sitemap: $siteMapUrl\n";
 }
 
 readfile( 'robots.txt' );
@@ -32,7 +32,7 @@
 // If the file `extra-robots.txt` is created under the name
 // `/var/www/mediawiki/extra-robots.txt` then its contents get appended to the
 // default `robots.txt` - see MW-312
-if ( file_exists( 'extra-robots.txt' ) && is_readable( 'extra-robots.txt' ) ) {
+if ( is_readable( 'extra-robots.txt' ) ) {
 	// Extra line to separate the files so that rules don't combine
 	echo "\n";
 	readfile( 'extra-robots.txt' );