delete extraneous definition of new_top_vs