Documentation tweak (#349)