Added <vector> header.