Typos/improvements in doc