fixes #3745