Remove duplicated code in pydoc.py, probably a merge conflict some months ago.

Spotted by Humberto Diogenes.