Minor edit to s4.2