some small tweaks in sec4