A couple of small doc fixes