fixes #5967