Fixed a stupid error in promela code-gen