fixes #3580