Fixes in manifest.mf