typo correction in dist.ini