A couple of minor docs fixes