Fix DSL docs for renamed file