Fix doctests in manin_map
Fixed a silly bug in lift_greenberg