Hmm I think it's enough with the "patched" bits in the docstring, plus the comment "patched ---" below, isn't it?