fix name in dist.ini