Documentation tweak.