Bug fixed, retrocompatibility to PHP 5.3