Fix translator bug.