small fix for undefined warning