om ändring i § 72 i riksdagsordningen.