Fixed the AVL size stuff, sorry everyone!
Fixed the AVL size stuff, sorry everyone!


JohnPJenkins/ROSS,carothersc/ROSS,JohnPJenkins/ROSS,laprej/ROSS-CXX,laprej/ROSS-CXX,JohnPJenkins/ROSS,laprej/ROSS-CXX,carothersc/ROSS,carothersc/ROSS