minor adjustment in index.php
