manifest.pp not removed in previous commit.