added cast to int