Fix some broken PHP code in the index file