fixes #5748