doc bugfixes