fixes #5566