modified toplevel to work with new symbols