specdoc dsl docs updated
specdoc minor fix