fixes bug 5997