Fixed another erroneous int conversion