Remove erroneous int casting