index.php code cleaned up a bit. No functionality change.