Silence warning about unused parameter