minor updates
update to DSK language