fix typos in \star translation