Fix bug #12313