fix trivial compilation error (warning).