Fix translator bug