A compilation error is fixed.