diff --git a/lib/Echidna/ABI.hs b/lib/Echidna/ABI.hs
index 0568dce4..5d3200d2 100644
--- a/lib/Echidna/ABI.hs
+++ b/lib/Echidna/ABI.hs
@@ -14,7 +14,6 @@ import Control.Monad.Catch (MonadThrow(..))
 import Control.Monad.State.Class (MonadState, gets)
 import Control.Monad.State (evalStateT)
 import Control.Monad.Random.Strict (MonadRandom, getRandom, getRandoms, getRandomR, uniformMay)
-import Data.Bits (Bits(..))
 import Data.Bool (bool)
 import Data.ByteString (ByteString)
 import Data.Foldable (toList)
@@ -148,7 +147,7 @@ mutateNum x = bool (x +) (x -) <$> getRandom <*> (fromIntegral <$> getRandomR (0
 -- generate between 0 and 2l 'Word8's and add insert them into b at random indices.
 addChars :: MonadRandom m => m Word8 -> ByteString -> m ByteString
 addChars c b = foldM withR b . enumFromTo 0 =<< rand where
-  rand       = getRandomR (0, BS.length b)
+  rand       = getRandomR (0, BS.length b - 1)
   withR b' n = (\x -> BS.take n b' <> BS.singleton x <> BS.drop (n + 1) b') <$> c
 
 -- | Like 'addChars', but instead of adding random chars, simply adding null bytes.
@@ -214,13 +213,8 @@ canShrinkAbiValue (AbiArrayDynamic _ l) = l /= mempty
 canShrinkAbiValue (AbiTuple v)          = any canShrinkAbiValue v
 canShrinkAbiValue _                     = True
 
-bounds :: forall a. (Bounded a, Integral a) => a -> (Integer, Integer)
-bounds = const (fromIntegral (0 :: a), fromIntegral (maxBound :: a))
-
--- | Given a bitvector representation of an integer type, randomly change bits, shrinking it towards 0
-shrinkInt :: forall a m. (Bits a, Bounded a, Integral a, MonadRandom m) => a -> m a
-shrinkInt x | x == -1   = pure 0
-            | otherwise = (if x < 0 then (.|.) else (.&.)) x . fromIntegral <$> getRandomR (bounds x)
+shrinkInt :: (Integral a, MonadRandom m) => a -> m a
+shrinkInt x = fromIntegral <$> getRandomR (0, toInteger x)
 
 -- | Given an 'AbiValue', generate a random \"smaller\" (simpler) value of the same 'AbiType'.
 shrinkAbiValue :: MonadRandom m => AbiValue -> m AbiValue
diff --git a/lib/Echidna/Transaction.hs b/lib/Echidna/Transaction.hs
index d3691f9d..52ba6d4b 100644
--- a/lib/Echidna/Transaction.hs
+++ b/lib/Echidna/Transaction.hs
@@ -131,7 +131,9 @@ canShrinkTx _                                = True
 shrinkTx :: MonadRandom m => Tx -> m Tx
 shrinkTx tx'@(Tx c _ _ _ gp (C _ v) (C _ t, C _ b)) = let
   c' = either (fmap Left . shrinkAbiCall) (fmap Right . pure) c
+  lower 0 = pure $ w256 0
   lower x = w256 . fromIntegral <$> getRandomR (0 :: Integer, fromIntegral x)
+              >>= \r -> uniform [0, r] -- try 0 quicker
   possibilities =
     [ set call      <$> c'
     , set value     <$> lower v