A couple of small doc changes