small fix for a compiler warning