Fix obsolete docstrings after fixes to #238.