small change in docs