Fixes bug #8313

Fixes bug #8313.