Fix header by using std::vector instead of vector.