fixed a few mistakes and boogie syntax