More doctests in comp.py