Update SEVector.h