Minor text change in docs