Changed way of creating buttons on Pbes. Fixed issue #79