fix warning about unused parameter