Fix one other translation bug -- forgot a line(\!\!\!\!)