Tweak documentation, improving on #8