Correcting mistakes in manifest