AndroidManifest.xml: corrections