fix an unused-variable warning