minor fixes to update_sup procedure