Index HTML overbodig, omdat PHP