small changes/improvements to documentation