Fix pubspec, and formatting on index.html.