Correction to Pacemaker-1.1.12