fix a compilation warning