#208: added index.php by accident