diff --git a/README.md b/README.md
index cee4290c4547e9f2820485b01e38ae451818c7fd..f7cdd2b0ceb9d3f09decded935ddd459db209cec 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ tel/fax: (49) 9131-85-64052/55, <[Michael.Kohlhase@fau.de](mailto:michael@kohlha
 
 The KWARC research group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm) so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents. This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
 
-## Getting a Topic for a Bahelor's, Master's, or Ph.D. Thesis
+## Getting a Topic for a Bachelor's, Master's, or Ph.D. Thesis
 
 The KWARC group has a strong tradition of involving students in research early. We had
 Bachelor Students who graduated with multiple papers at international conferences or a
@@ -36,8 +36,8 @@ Topcis are available in the following larger areas, individual topics will be en
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
   [MathHub System](http://mathhub.info)).
 * Active Dokuments and the integration of semantic services into technical/mathematical
-  documnets (e.g. for course materials)
+  documents (e.g. for course materials)
 * Interoperability and integration of mathematical software systems - e.g. computer
-  algegra, math data bases, theorem provers (in the
+  algebra, math data bases, theorem provers (in the
   [OpenDreamKit](http://opendreamkit.org) EU project)
 * Cognitive engineering (semantische information/help systems for CAD/CAM systems).