Fix compilation error with 3.7.1