fixed bug #13471