fixes #4556