fix a set-but-unused-variable warning