fixes #4971