fix small documentation typo in dist.ini