Documentation tweak ...