silence errorenous warning about unused variable