cosmetic tweaks, mainly docstrings