Removed old reference to <vector>