Doc bugfixes