fixes #5947