Minor changes to overlap.py