Fix PHP 5.3.0 compatibility

Ugh, too early. :-) Fix a typo in my proposed PHP 5.3.0+ compatibility update.