Revert function_docs.py fix, see 3d3ee3b