fixes #6200