Fix compilation error with 0.10.