fixes #7704