Fix bug on PHP 5.3.3 found by the CI tests