diff --git a/README.md b/README.md
index bd4831a..c77e163 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ Here is an [overview](facto/inputgen/overview.md) of InputGen
 
 SpecDB is a [database](facto/specdb/db.py#L30) of specifications covering most of the Core ATen Ops. They have been developed using the ATen CPU kernels as a reference.
 
-## Instalation
+## Installation
 ```bash
 git clone https://github.com/meta-pytorch/FACTO.git
 cd FACTO
diff --git a/facto/inputgen/argtuple/engine.py b/facto/inputgen/argtuple/engine.py
index 2d37e40..5871017 100644
--- a/facto/inputgen/argtuple/engine.py
+++ b/facto/inputgen/argtuple/engine.py
@@ -11,11 +11,11 @@
 
 
 def reverse_topological_sort(graph):
-    def dfs(node, visited, strack):
+    def dfs(node, visited, stack):
         visited[node] = True
         for neig in graph[node]:
             if not visited[neig]:
-                dfs(neig, visited, strack)
+                dfs(neig, visited, stack)
         stack.append(node)
 
     visited = {node: False for node in graph}
diff --git a/facto/inputgen/argument/type.py b/facto/inputgen/argument/type.py
index b3a9f25..c2890d6 100644
--- a/facto/inputgen/argument/type.py
+++ b/facto/inputgen/argument/type.py
@@ -45,6 +45,10 @@ class ArgType(str, Enum):
     StringOpt = "String?"
     MemoryFormat = "MemoryFormat"
 
+    def __str__(self):
+        cls_name = self.__class__.__name__
+        return f'{cls_name}.{self.name}'
+
     def is_tensor(self) -> bool:
         return self in [ArgType.Tensor, ArgType.TensorOpt]
 
diff --git a/facto/inputgen/overview.md b/facto/inputgen/overview.md
index ce25b07..eb632c8 100644
--- a/facto/inputgen/overview.md
+++ b/facto/inputgen/overview.md
@@ -38,7 +38,7 @@ An argument of an op might depend on another argument. For example, an argument
 ### Constraints
 
 A given constraint has 3 parts: an attribute, a suffix and a lambda function.
-We already went through the attributes. The suffix is a basic operation, like Equal (Eq), Not Equal (Ne), Less than (Lt), Greather than (Gt), etc.
+We already went through the attributes. The suffix is a basic operation, like Equal (Eq), Not Equal (Ne), Less than (Lt), Greater than (Gt), etc.
 The lambda function takes the dependencies (other arguments) as inputs, and outputs certain value. The constraint should then be read as: attribute suffix value. For example, if the attribute is Length, and suffix is Gt, and the lambda function outputs 4, then the constraint is saying that the Length > 4.
 
 ## Generation
diff --git a/facto/inputgen/variable/space.py b/facto/inputgen/variable/space.py
index 907ffad..517838b 100644
--- a/facto/inputgen/variable/space.py
+++ b/facto/inputgen/variable/space.py
@@ -19,7 +19,7 @@
 
 class Discrete:
     """
-    Representes a set of discrete values. Examples:
+    Represents a set of discrete values. Examples:
 
     >>> d = Discrete(['a','b','c'])
     >>> d.contains('a')
@@ -149,9 +149,9 @@ def __init__(
         self.upper_open = upper_open
 
     def __str__(self) -> str:
-        lower_braket = "(" if self.lower_open else "["
-        upper_braket = ")" if self.upper_open else "]"
-        return f"{lower_braket}{self.lower}, {self.upper}{upper_braket}"
+        lower_bracket = "(" if self.lower_open else "["
+        upper_bracket = ")" if self.upper_open else "]"
+        return f"{lower_bracket}{self.lower}, {self.upper}{upper_bracket}"
 
     def __eq__(self, other: "Interval") -> bool:
         return (
@@ -337,7 +337,7 @@ def set_lower(self, lower: Union[int, float], lower_open: bool = False) -> None:
 
     def set_upper(self, upper: Union[int, float], upper_open: bool = False) -> None:
         """Sets the upper bound, being open or closed depending on the flag. In other
-        words, it removes all values greather than the given value. It also removes the value
+        words, it removes all values greater than the given value. It also removes the value
         itself if upper_open is True."""
         for ix, r in enumerate(self.intervals):
             if r.upper < upper: