more docs, and little bugfixes