minor fix in AndroidManifest.xml