tweaks to new section 4.3