a compilation error is fixed