Small fix done to docs