fixes #4026