inevitable small fix for gcc