docs and other small changes

sigh, boring