Another doco tweak