fix a compiler warning