Fix crash as reported in bug 711567

The actual bug itself is not fixed yet.