Fix docstrings in defs