Fix manta repo