Bug fixes to translator stuff