fixes #4961