Fixes for DSL paper