tiny doc to tie.py

Redundant, but I missed it