Fixed a fatal error on PHP 5.3