add int cast to avoid error