- Fix issue #24: Fatal error with PHP 5.3.0