some minor changes to SDSL