doc: revisions to lang.py (3)