#487: index.php, fix references to javascript

Resolves #487.