Some stylistic changes to petition