Removed wrong int cast