double backslashes in docstrings