Implement #8333