#52: index.php, minor language change