AndroidManifest: small changes