Fix compilation problem from 0acd414e.