Documentation tweak. [ci skip]