various small docs improvements, typos, fixes...