Small dist.ini fixes