Minor doc changes noticed during merge.