diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..adf4d5c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+.DS_Store
+formal/work
diff --git a/README.md b/README.md
index 132158b..bd958d6 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@
 A collection of examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys).
 
 
-The next two lists will grow during furter development
+The next two lists will grow during further development
 
 ## PSL features supported by GHDL:
 
@@ -21,7 +21,7 @@ The next two lists will grow during furter development
 * next_event operator
 * next_event[n] operator
 
-## PSL features currently unsupported by GHDL:
+## PSL features not yet supported by GHDL:
 
 * next_a[i:j] operator
 * next_e[i:j] operator