what docstring? I can imagine a header (i.e., comments at the top), but what's the docstring about?