PHP 5.3+ compatibility fix