fixes #5221