Fix typo.
Tighten up the proof of vc-dimension for centrampl.