Documentation bugfixes