doc: a few bugfixes