Fixes to some HTML attributes for index.php