Fixing EPTCS formatting #36