fixes #3855