Fix bug on PHP 5.3