dist.ini got messed up; fixed.