Fixes bug #7688