Minor edit in docs