tiny cleanup documentor.py