make-dist.py: Minor comment fix