fix PHP 5.3+ warning