diff --git a/modular-arithmetic.cabal b/modular-arithmetic.cabal
--- a/modular-arithmetic.cabal
+++ b/modular-arithmetic.cabal
@@ -2,7 +2,7 @@
 -- see http://haskell.org/cabal/users-guide/
 
 name:                modular-arithmetic
-version:             1.0.1.0
+version:             1.0.1.1
 synopsis:            A type for integers modulo some constant.
 
 description:         This module provides a convenient type for working with
@@ -20,6 +20,10 @@
 category:            Math
 build-type:          Simple
 cabal-version:       >=1.8
+
+source-repository head
+  type:           git
+  location:       git://github.com/TikhonJelvis/modular-arithmetic.git
 
 library
   hs-source-dirs:      src
diff --git a/src/Data/Modular.hs b/src/Data/Modular.hs
--- a/src/Data/Modular.hs
+++ b/src/Data/Modular.hs
@@ -8,22 +8,20 @@
 -- constant.
 -- 
 -- This module uses some new Haskell features introduced in 7.6. In
--- particular, it needs DataKinds and type literals
--- (GHC.TypeLits). The TypeOperators extension is needed for the nice
--- infix syntax.
+-- particular, it needs @DataKinds@ and type literals
+-- ("GHC.TypeLits"). The @TypeOperators@ extension is needed for the
+-- nice infix syntax.
 -- 
 -- These types are created with the type constructor 'Mod'
 -- (or its synonym '/'). To work with integers mod 7, you could write:
 -- 
--- @
--- Int `Mod` 7
--- Integer `Mod` 7
--- Integer/7
--- ℤ/7
--- @
+-- > Int `Mod` 7
+-- > Integer `Mod` 7
+-- > Integer/7
+-- > ℤ/7
 -- 
 -- (The last is a synonym for @Integer@ provided by this library. In
--- Emacs, you can use the Tex input mode to type it with \Bbb{Z}.)
+-- Emacs, you can use the TeX input mode to type it with @\\Bbb{Z}@.)
 -- 
 -- All the usual typeclasses are defined for these types. You can also
 -- get the constant using @bound@ or extract the underlying value
@@ -31,17 +29,13 @@
 --
 -- Here is a quick example:
 -- 
--- @
--- *Data.Modular> (10 :: ℤ/7) * (11 :: ℤ/7)
--- 5
--- @
+-- > *Data.Modular> (10 :: ℤ/7) * (11 :: ℤ/7)
+-- > 5
 -- 
 -- It also works correctly with negative numeric literals:
 -- 
--- @
--- *Data.Modular> (-10 :: ℤ/7) * (11 :: ℤ/7)
--- 2
--- @
+-- > *Data.Modular> (-10 :: ℤ/7) * (11 :: ℤ/7)
+-- > 2
 
 module Data.Modular (unMod, toMod, toMod', Mod, (/)(), ℤ) where
 
@@ -79,7 +73,7 @@
 -- | Wraps an integral number to a mod, converting between integral
 -- types.
 toMod' :: forall n i j. (Integral i, Integral j, SingI n) => i -> j `Mod` n
-toMod' = toMod . fromIntegral
+toMod' i = toMod . fromIntegral $ i `mod` (fromInteger $ fromSing (sing :: Sing n))
 
 instance Show i => Show (i `Mod` n) where show (Mod i) = show i
 instance (Read i, Integral i, SingI n) => Read (i `Mod` n)