Fix documentation config bug