Document solution to #8275