dist.ini: fix stupid mistakes