diss: minor tweaks in section 3.1