minor doc hotfix