Fix bugs in the manifest file