diff --git a/.circleci/config.yml b/.circleci/config.yml
index 033bc01a..6d293d37 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -57,7 +57,7 @@ jobs:
       - checkout
       - run:
           name: test
-          command: cargo test --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features proptest --features slow-tests
+          command: cargo test --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features proptest-support --features slow-tests
       - run:
           name: test nalgebra-glm
           command: cargo test -p nalgebra-glm  --features arbitrary --features serde-serialize --features abomonation-serialize --features sparse --features debug --features io --features compare --features libm --features slow-tests
diff --git a/Cargo.toml b/Cargo.toml
index c99ed83b..2662fe2c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -33,6 +33,7 @@ io = [ "pest", "pest_derive" ]
 compare = [ "matrixcompare-core" ]
 libm = [ "simba/libm" ]
 libm-force = [ "simba/libm_force" ]
+proptest-support = [ "proptest" ]
 
 # This feature is only used for tests, and enables tests that require more time to run
 slow-tests = []
@@ -91,4 +92,4 @@ lto = true
 
 [package.metadata.docs.rs]
 # Enable certain features when building docs for docs.rs
-features = [ "proptest" ]
+features = [ "proptest-support", "compare" ]
diff --git a/src/lib.rs b/src/lib.rs
index 22f39ae7..8015e57d 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -127,7 +127,7 @@ pub mod geometry;
 #[cfg(feature = "io")]
 pub mod io;
 pub mod linalg;
-#[cfg(feature = "proptest")]
+#[cfg(feature = "proptest-support")]
 pub mod proptest;
 #[cfg(feature = "sparse")]
 pub mod sparse;
diff --git a/src/proptest/mod.rs b/src/proptest/mod.rs
index 56c0f9cf..58c41b67 100644
--- a/src/proptest/mod.rs
+++ b/src/proptest/mod.rs
@@ -1,6 +1,6 @@
 //! `proptest`-related features for `nalgebra` data structures.
 //!
-//! **This module is only available when the `proptest` feature is enabled in `nalgebra`**.
+//! **This module is only available when the `proptest-support` feature is enabled in `nalgebra`**.
 //!
 //! `proptest` is a library for *property-based testing*. While similar to QuickCheck,
 //! which may be more familiar to some users, it has a more sophisticated design that
diff --git a/tests/lib.rs b/tests/lib.rs
index 47386e33..29e6cbbe 100644
--- a/tests/lib.rs
+++ b/tests/lib.rs
@@ -20,7 +20,7 @@ mod core;
 mod geometry;
 mod linalg;
 
-#[cfg(feature = "proptest")]
+#[cfg(feature = "proptest-support")]
 mod proptest;
 
 //#[cfg(feature = "sparse")]