Fix dist.ini