A couple docs improvements