Implements mkString