forgotten renaming in ios helloWorld index.html file