Some small doc changes