bug-fix ONLY FOR php-5.5