fixed bug in dist.ini