diff --git a/README.md b/README.md
index 82e189a11..4df226a9c 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,8 @@
 
 Symbolics.jl is a fast and modern Computer Algebra System (CAS) for a fast and modern
 programming language (Julia). The goal is to have a high-performance and parallelized
-symbolic algebra system that is directly extendable in the same language as the users.
+symbolic algebra system that is directly extendable in the same language as that of the
+users.
 
 ## Installation
 
diff --git a/docs/src/index.md b/docs/src/index.md
index 5bb52465b..f4b05201a 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -2,7 +2,8 @@
 
 Symbolics.jl is a fast and modern Computer Algebra System (CAS) for a fast and modern
 programming language (Julia). The goal is to have a high-performance and parallelized
-symbolic algebra system that is directly extendable in the same language as the user's.
+symbolic algebra system that is directly extendable in the same language as that of the
+users.
 
 ## Installation
 
diff --git a/src/semipoly.jl b/src/semipoly.jl
index e65f0b672..2593ae4ae 100644
--- a/src/semipoly.jl
+++ b/src/semipoly.jl
@@ -8,7 +8,7 @@ import SymbolicUtils: unsorted_arguments
 """
 $(TYPEDEF)
 
-# Attrtibutes
+# Attributes
 $(TYPEDFIELDS)
 """
 struct SemiMonomial
diff --git a/src/solver.jl b/src/solver.jl
index c665c5d80..020c3e58b 100644
--- a/src/solver.jl
+++ b/src/solver.jl
@@ -66,7 +66,7 @@ function solve_system_eq(equs::Vector{Equation}, vars)
 
     solutions = Dict()
 
-    #re subsititute the variables back in to find value
+    #re substitute the variables back in to find value
     for i = length(removed):-1:1
         current_eq = substitute(removed[i], solutions)
         solutions[current_eq.lhs] = current_eq.rhs
diff --git a/test/semipoly.jl b/test/semipoly.jl
index fa0d09a30..5a13113ec 100644
--- a/test/semipoly.jl
+++ b/test/semipoly.jl
@@ -22,7 +22,7 @@ using Random
     @test isequal(d, Dict(1 => 1 << 12, x => (1 << 11) * 12))
 end
 
-@testset "maintein SymbolicUtils.Symbolic subtype" begin
+@testset "maintain SymbolicUtils.Symbolic subtype" begin
     pow_expr = 7^(3y + sin(y))
     @test SymbolicUtils.ispow(Symbolics.unwrap(pow_expr))
     dict, nl = semipolynomial_form(pow_expr, [y], Inf)