bugfix

Support PHP 5.5