Fix compilation error introduced in 5da30ae.