fixes #6530