fixes #5166