Tweaks and minor additions, mainly to documentation.