Minor tweaks, mostly docstrings