minor dist.ini fix