porrigendum