fixes #4052