Fix another compilation error.