fixes #3910