improve docs, fix some style nits