Minor doc bugfixes