Minor edit on docs