Fix manifest rename that slipped from dev branch.