fix spaces in get-dot.py