more typos
Merge branch 'master' of https://github.com/bendtherules/GSOC_13

Conflicts:
	nnf_and_sif_to_json_py/readme.txt