Small update to cong closure module.