Minor doco tweak