Tweaks to section 12