bug php-5.6