CODE: Get rid of LavaView.