Justering af riksdagens ojusterade protokoll egde i lördags rum i grundlagsenlig ordning.