Patch up for index.php