some type conversion just to be sure