fixes #3878