Fix a typo.
Merge branch 'master' of http://git.hoa-project.net/Literature

Conflicts:
	Hack/Console.xyl