Erratum: PHP requirement is 5.3, not 5.2.