diff --git a/Control/Parallel/ScanVectorMachine/AccelerateSVM.hs b/Control/Parallel/ScanVectorMachine/AccelerateSVM.hs
--- a/Control/Parallel/ScanVectorMachine/AccelerateSVM.hs
+++ b/Control/Parallel/ScanVectorMachine/AccelerateSVM.hs
@@ -1,9 +1,14 @@
 {-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts #-}
 
+-- | An instance
 --
--- | An instance demonstrating that the @Data.Array.Accelerate@
---   library for GPU computation is able to support the SVM operations
+-- @
+--     instance Accelerate.IsScalar s =>
+--              SVM.ScanVectorMachine (Accelerate.Array Accelerate.DIM1) s
+-- @
 --
+-- demonstrating that the @Data.Array.Accelerate@
+-- library for GPU computation is able to support the SVM operations
 
 module Control.Parallel.ScanVectorMachine.AccelerateSVM where
 import qualified Data.Array.Accelerate as Accelerate
diff --git a/Control/Parallel/ScanVectorMachine/DataParallelHaskellSVM.hs b/Control/Parallel/ScanVectorMachine/DataParallelHaskellSVM.hs
--- a/Control/Parallel/ScanVectorMachine/DataParallelHaskellSVM.hs
+++ b/Control/Parallel/ScanVectorMachine/DataParallelHaskellSVM.hs
@@ -1,7 +1,13 @@
-{-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts, ParallelArrays #-}
+{-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts #-}
 
 --
--- | An instance demonstrating that the parallel arrays @[:s:]@ of
+-- | An instance
+--
+-- @
+--     instance Num s => SVM.ScanVectorMachine ([::]) s
+-- @
+--
+--   ... demonstrating that the parallel arrays @[:s:]@ of
 --   Data Parallel Haskell support the SVM operations.  In truth this
 --   is a bit backward: DPH is a high-level nested data parallel
 --   language which ought to /compile down to/ something like SVM.
@@ -11,6 +17,7 @@
 module Control.Parallel.ScanVectorMachine.DataParallelHaskellSVM where
 import Control.Parallel.ScanVectorMachine.ScanVectorMachine as SVM
 
+{-
 instance Num s => SVM.ScanVectorMachine ([::]) s where
   neg         a       = error "FIXME: not implemented"
   leq         a b     = error "FIXME: not implemented"
@@ -22,3 +29,4 @@
   distribute  s len   = error "FIXME: not implemented"
   length      a       = error "FIXME: not implemented"
   scan     o  a       = error "FIXME: not implemented"
+-}
diff --git a/Control/Parallel/ScanVectorMachine/SerialScanVectorMachine.hs b/Control/Parallel/ScanVectorMachine/SerialScanVectorMachine.hs
--- a/Control/Parallel/ScanVectorMachine/SerialScanVectorMachine.hs
+++ b/Control/Parallel/ScanVectorMachine/SerialScanVectorMachine.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses #-}
 
 -- | A crude implementation of the ScanVectorMachine class using
---   Data.Array.IArray; no parallelism.  Warning: outrageously
+--   @Data.Array.IArray@; no parallelism.  Warning: outrageously
 --   inefficient code ahead!
 
 module Control.Parallel.ScanVectorMachine.SerialScanVectorMachine(SSVM) where
diff --git a/scan-vector-machine.cabal b/scan-vector-machine.cabal
--- a/scan-vector-machine.cabal
+++ b/scan-vector-machine.cabal
@@ -1,5 +1,5 @@
 name:     scan-vector-machine
-version:  0.2.6
+version:  0.2.7
 Cabal-Version: >= 1.8
 build-type: Simple
 synopsis: An implementation of the Scan Vector Machine instruction set in Haskell