Fix issue on PHP 5.3 (Travis <3)