Fix build after Jeremy -- yet another place where convert_string() wasn't updated