dist.ini: use proper comment style.

Oops!