[Docs] Minor clarifications to the Specification DSL