Change to make this compatible with PHP 5.3;