Fix typos in android-app.tex