fixes #5565