Update docs

Convert vectors of boxed strings into vectors of String.