bugfixes, documentation improvements.