Fix wording for PHP 5.3