Some translator fixes.