small bug fix in the manifest.xml