fix: PHP 5.3