fixes #6412