fixes #8501