Correct verbosity about index.php.