Documentation tweak