diff --git a/Data/SBV.hs b/Data/SBV.hs
index 666d2c662..3367eded9 100644
--- a/Data/SBV.hs
+++ b/Data/SBV.hs
@@ -774,7 +774,7 @@ bit-vectors. The operations that are restricted to bounded word/int sizes are:
 
    * Extraction and concatenation: 'bvExtract', '#', 'zeroExtend', 'signExtend', 'bvDrop', and 'bvTake'
 
-Usual arithmetic ('+', '-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are
+Usual arithmetic ('Prelude.+', 'Prelude.-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are
 supported for 'SInteger' fully, both in programming and verification modes.
 -}