Fixes of doc typos in recent doc additions