Fix the dist.ini