doc: revisions to lang.py (4)