std::list replaced with std::vector

not a big deal, though