Add extension to line 78 makedots.py