fixes #4045