fix one small typo
Merge branch 'master' of https://github.com/xnoumbis/judodb

Conflicts:
	judodb.tex