some (cosmetic) codechanges inside index.php