fixes #5958