Distributions wasn't used in manin_map.py