fixes #6372