Correct size bounds on S