More doc tweaks on step4