fixes #3920