fixed type in index.php generated file