cast to get rid of warning