Minor changes to AndroidManifest