Tweak documentation slightly