Additions and clarifications to DSL.