[Spec DSL] Fix doc example to use actual attribute.