Corrections to Why DSL section