Correcting the Irp6 model (wip).