Fix some notation

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Gituliar@24 d7a11de1-dac9-4f50-91c3-d62249753022