fixes #6244