fixed bug in vector plus, and improved tree spec