removed some typos
working on promela model