Translate to *: fix copy-pasta bug from 8699129