fix one compilation error