unneeded cast to int