Further tweak documentation