fixes #6433