I think we usually omit a newline after docstrings