Added cast to int