Corrected check-in version of index.php.