Two minor doc updates

With only one string attached, please don't use github UI to merge/fast forward - they inject a pointless commit :-/

Accept or reject each commit independently of the other :-)