diff --git a/README.md b/README.md
index 9401469..5f4879d 100644
--- a/README.md
+++ b/README.md
@@ -37,4 +37,4 @@ using Pkg
 Pkg.clone("https://github.com/JuliaReach/SpaceExParser.jl")
 ```
 
-*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl).
+*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl).
diff --git a/src/io.jl b/src/io.jl
index 92cf1d5..2600769 100644
--- a/src/io.jl
+++ b/src/io.jl
@@ -57,7 +57,7 @@ Moreover, let us note that:
 7) The `resetmaps` field consists of the vector of tuples `(assignment, guard)`, for each
    location.
 
-These comments apply whenever `raw_dict=false`:
+These comments apply whenever `raw_dict=false`:
 
 1) The field `variables` is an ordered dictionary, where the order is given by the
    insertion order. This allows deterministic iteration over the dictionary,
diff --git a/src/symbolic.jl b/src/symbolic.jl
index 7c03469..b8d23f1 100644
--- a/src/symbolic.jl
+++ b/src/symbolic.jl
@@ -26,7 +26,7 @@ The tuple `(modes, resetmaps)`.
     for them), otherwise these are interpreted as input variables (there is not an
     ODE for them).
 2) If the system has nonlinearities, then some first order derivatives cannot
-   be evaluated to numbers, and this function does not apply. In that case, you
+   be evaluated to numbers, and this function does not apply. In that case, you
    will see the error message: `ArgumentError: symbolic value cannot be
    evaluated to a numeric value`.
 3) We assume that inequalities in invariants are of the form `ax <= b` or `ax >= b`,