a few tweaks, mostly to documentation