Some changes to the SDLS translation