dist.ini updates for issue #3