Fix some file references in manifest

I found these inconsistencies between actual files and the manifest.