fixes #3875