fixes #4455