Minor corrections in Maude and Beepbeep translators