(Promela) Bugfix