bugfixes, documentation update