Minor improvements to doco.