fixes #5268