fixing up PBES2 example; minor typos and grammar things