Small corrections
Merge branch 'master' of https://github.com/gunzm1/ElephantSearch

Conflicts:
	Doc/Tutorial/kapitel/owl.tex