diff --git a/docs/make.jl b/docs/make.jl
index 754075caaf..d6ec807649 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -2,7 +2,7 @@ ENV["GKSwstype"] = "100"  # set 'GR environment' to 'no output' (for Travis CI)
 using Documenter, LazySets, Polyhedra
 
 makedocs(
-    doctest = true,  # use this flag to skip doctests (saves time!)
+    doctest = false,
     modules = [LazySets, Approximations],
     format = :html,
     assets = ["assets/juliareach.css"],
diff --git a/docs/make_doctests_only.jl b/docs/make_doctests_only.jl
index 3042e3bc79..f73dbab3fe 100644
--- a/docs/make_doctests_only.jl
+++ b/docs/make_doctests_only.jl
@@ -4,5 +4,5 @@ makedocs(
     doctest = true,
     modules = Module[LazySets, Approximations],
     source = "src/lib",
-    strict = false
+    strict = true
 )
diff --git a/docs/src/lib/operations.md b/docs/src/lib/operations.md
index 90d93ac132..b00bf07d17 100644
--- a/docs/src/lib/operations.md
+++ b/docs/src/lib/operations.md
@@ -115,6 +115,7 @@ isempty_known(::Intersection)
 set_isempty!(::Intersection, ::Bool)
 swap(::Intersection)
 use_precise_ρ
+_line_search
 _projection
 ```
 
diff --git a/src/LazySet.jl b/src/LazySet.jl
index d9074f1bdd..c7afb85f28 100644
--- a/src/LazySet.jl
+++ b/src/LazySet.jl
@@ -44,10 +44,10 @@ julia> subtypes(LazySet)
  ExponentialMap
  ExponentialProjectionMap
  HPolyhedron
+ HalfSpace
  Hyperplane
  Intersection
  IntersectionArray
- HalfSpace
  Line
  LinearMap
  MinkowskiSum