Remove erroneous int cast