minor change to dist.ini