Do we really have to duplicate the strings here?