Tiny cleanup on index.html.
push android