Minor edit in s4.