minor cleanup in clipocr1.py